Group-theoretic compactification of Bruhat-Tits buildings

Let GF denote the rational points of a semisimple group G over a non-archimedean local field F, with Bruhat-Tits building X. This paper contains five main results. We prove a convergence theorem for sequences of parahoric subgroups of GF in the Chabauty topology, which enables to compactify the vertices of X. We obtain a structure theorem showing that the Bruhat-Tits buildings of the Levi factors all lie in the boundary of the compactification. Then we obtain an identification theorem with the polyhedral compactification (previously defined in analogy with the case of symmetric spaces). We finally prove two parametrization theorems extending the BruhatTits dictionary between maximal compact subgroups and vertices of X: one is about Zariski connected amenable subgroups, and the other is about subgroups with distal adjoint action

Spherically symmetric Yang-Mills solutions in a 5-dimensional (Anti-) de Sitter space-time

We consider an Einstein-Yang-Mills Lagrangian in a five dimensional space-time including a cosmological constant. Assuming all fields to be independent of the extra coordinate, a dimensional reduction leads to an effective (3+1)-dimensional Einstein-Yang-Mills-Higgs-dilaton model where the cosmological constant induces a Liouville potential in the dilaton field. We construct spherically symmetric solutions analytically in specific limits and study the generic solutions for vanishing dilaton coupling numerically. We find that in this latter case the solutions bifurcate with the branch of (Anti-) de Sitter-Reissner-Nordstrom ((A)dSRN) solutions.Comment: 9 Latex pages, 3 PS-figure

Mechanism for the {\alpha} -> {\epsilon} phase transition in iron

The mechanism of the {\alpha}-{\epsilon} transition in iron is reconsidered. A path in the Burgers description of the bcc/hcp transition different from those previously considered is proposed. It relies on the assumption that shear and shuffle are decoupled and requires some peculiar magnetic order, different from that of {\alpha} and {\epsilon} phases as found in Density-Functional Theory. Finally, we put forward an original mechanism for this transition, based on successive shuffle motion of layers, which is akin to a nucleation-propagation process rather than to some uniform motion.Comment: 6 pages, 5 figure

Réseaux relationnels et processus de soutien aux malades de la tuberculose au Cameroun

Nombre de malades en Afrique ne jouissent pas d'une réelle autonomie dans le choix de leur trajectoire thérapeutique. La maladie d'un individu implique les principaux membres de son entourage socio-familial. Elle concerne aussi ses cousines, ses tantes, ses parents, ses amis et ses voisins. Ce « groupe organisateur profane de la thérapie » décide non seulement du moment où le malade doit visiter l'hôpital ou le guérisseur, mais, il joue un rôle crucial pour ce qui est de la détermination du diagnostic, de la trajectoire du malade et de la prise des décisions afférentes. La trajectoire thérapeutique suivie peut n'être pas celle voulue par le malade mais celle choisie par son réseau relationnel. Les choix thérapeutiques ne sont donc pas toujours individuels ou isolés, ils ont une histoire et sont déterminés par un « habitus » familial ou par les rapports de force socio-familiaux. Bien que la tuberculose (TB) soit restée une maladie stigmatisante, la prise en charge des malades tuberculeux au Cameroun reste influencée et déterminée par ses contraintes socio-familiales.A number of patients in Africa do not enjoy real autonomy in choosing their treatment path. The disease involves an individual senior member of his entourage socio-familial. She also relates her cousins, aunts, parents, friends and neighbors. This "secular organization group therapy" decides not only when the patient must visit the hospital or healer, but it plays a crucial role with regard to determining the diagnosis, the trajectory of the patient and making decisions related. The trajectory followed by treatment that may not be desired by the patient but one chosen by the network of relationships. The therapeutic choices are not always individual or isolated; they have a history and are determined by habitus or family power relations. Although tuberculosis (TB) has remained a stigmatizing disease, the treatment of tuberculosis patients in Cameroon is influenced and determined by his social and family constraints

A PCA3 gene-based transcriptional amplification system targeting primary prostate cancer.

Targeting specifically primary prostate cancer (PCa) cells for immune therapy, gene therapy or molecular imaging is of high importance. The PCA3 long non-coding RNA is a unique PCa biomarker and oncogene that has been widely studied. This gene has been mainly exploited as an accurate diagnostic urine biomarker for PCa detection. In this study, the PCA3 promoter was introduced into a new transcriptional amplification system named the 3-Step Transcriptional Amplification System (PCA3-3STA) and cloned into type 5 adenovirus. PCA3-3STA activity was highly specific for PCa cells, ranging between 98.7- and 108.0-fold higher than that for benign primary prostate epithelial or non-PCa cells, respectively. In human PCa xenografts, PCA3-3STA displayed robust bioluminescent signals at levels that are sufficient to translate to positron emission tomography (PET)-based reporter imaging. Remarkably, when freshly isolated benign or cancerous prostate biopsies were infected with PCA3-3STA, the optical signal produced from primary PCa biopsies was significantly higher than from benign prostate biopsies (4.4-fold, p < 0.0001). PCA3-3STA therefore represents a PCa-specific expression system with the potential to target, with high accuracy, primary or metastatic PCa epithelial cells for imaging, vaccines, or gene therapy

Integrating Conflict Driven Clause Learning to Local Search

This article introduces SatHyS (SAT HYbrid Solver), a novel hybrid approach for propositional satisfiability. It combines local search and conflict driven clause learning (CDCL) scheme. Each time the local search part reaches a local minimum, the CDCL is launched. For SAT problems it behaves like a tabu list, whereas for UNSAT ones, the CDCL part tries to focus on minimum unsatisfiable sub-formula (MUS). Experimental results show good performances on many classes of SAT instances from the last SAT competitions

Combinatorial models for topology-based geometric modeling

Many combinatorial (topological) models have been proposed in geometric modeling, computational geometry, image processing or analysis, for representing subdivided geometric objects, i.e. partitionned into cells of different dimensions: vertices, edges, faces, volumes, etc. We can distinguish among models according to the type of cells (regular or not regular ones), the type of assembly ("manifold" or "non manifold"), the type of representation (incidence graphs or ordered models), etc